Parabolic subgroups in FC-type Artin groups

Parabolic subgroups are the building blocks of Artin groups. This paper extends previous results of Cumplido, Gebhardt, Gonzales-Meneses and Wiest, known only for parabolic subgroups of finite type Artin groups, to parabolic subgroups of FC-type Artin groups. We show that the class of finite type parabolic subgroups is closed under intersection. We also study an analog of the curve complex for mapping class group constructed by Cumplido et al. using parabolic subgroups. We extend the construction of this complex, called the complex of parabolic subgroups, to FC-type Artin groups. We show that this simplicial complex is, in most cases, infinite diameter and conjecture that it is δ-hyperbolic.     

The Bertini irreducibility theorem for higher codimensional slices

In [3], Poonen and Slavov recently developed a novel approach to Bertini irreducibility theorems over an arbitrary field, based on random hyperplane slicing. In this paper, we extend their work by proving an analogous bound for the dimension of the exceptional locus in the setting of linear subspaces of higher codimensions.     

Automorphisms of Hilbert schemes of points on a generic projective K3 surface

We study automorphisms of the Hilbert scheme of n points on a generic projective K3 surface S, for any . We show that is either trivial or generated by a non‐symplectic involution and we determine numerical and divisorial conditions which allow us to distinguish between the two cases. As an application of these results we prove that, for any , there exist infinitely many admissible degrees for the polarization of the K3 surface S such that admits a non‐natural involution. This provides a generalization of the results of [7] for .     

Isomorphisms of spaces with large distortion

Let K and S be locally compact Hausdorff spaces and let X be a strictly convex Banach space of finite dimension at least 2. In this paper, we prove that if there exists an isomorphism T from onto satisfying then K and S are homeomorphic. Here denotes the Schäffer constant of X. Even for the classical cases , and , this result is the X‐valued Banach–Stone theorem via isomorphism with the largest distortion that is known so far, namely . On the other hand, it is well known that this result is not true for , even though K and S are compact Hausdorff spaces.     

Semiample and k-ample vector bundles

Abstract

The main result of this paper is that tensor products of semiample vector bundles over compact complex manifolds are semiample. An easy proof yields the analogous result for direct sums. We also show that tensor products of semiample vector bundles with k-ample vector bundles in the sense of Sommese are k-ample. On the other hand, we show that it is not generally true that tensor products of nef and k-ample vector bundles for positive k are still k-ample. Results of Sommese on k-ampleness are consequently strengthened. As an application of our main theorem we extend to k-ample the vanishing theorem of Ein-Lazarsfeld.     

Projective well orders and coanalytic witnesses

We further develop a forcing notion known as Coding with Perfect Trees and show that this poset preserves, in a strong sense, definable P-points, definable tight MAD families and definable selective independent families. As a result, we obtain a model in which $\mathfrak{a}=\mathfrak{u}=\mathfrak{i}={\mathrm{?}}_1<2^{{\mathrm{?}}_0}={\mathrm{?}}_2$, each of $\mathfrak{a}$, $\mathfrak{u}$, $\mathfrak{i}$ has a ${\mathrm{\Pi }}_1^1$ witness and there is a ${\mathrm{\Delta }}_3^1$ well-order of the reals. Note that both the complexity of the witnesses of the above combinatorial cardinal characteristics, as well as the complexity of the well-order are optimal. In addition, we show that the existence of a ${\mathrm{\Delta }}_3^1$ well-order of the reals is consistent with $\mathfrak{c}={\mathrm{?}}_2$ and each of the following: $\mathfrak{a}=\mathfrak{u}<\mathfrak{i}$, $\mathfrak{a}=\mathfrak{i}<\mathfrak{u}$, $\mathfrak{a}<\mathfrak{u}=\mathfrak{i}$, where the smaller cardinal characteristics have co-analytic witnesses.Our methods allow the preservation of only sufficiently definable witnesses, which significantly differs from other preservation results of this type.